Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers
نویسندگان
چکیده
منابع مشابه
Sundials/ML: interfacing with numerical solvers
We describe a comprehensive OCaml interface to the Sundials suite of numerical solvers (version 2.6.2). Noteworthy features include the treatment of the central vector data structure and benchmarking results.
متن کاملOCaml-Java: OCaml on the JVM
This presentation introduces the OCaml-Java project whose goal is to allow compilation of OCaml sources into Java bytecodes. The ability to run OCaml code on a Java virtual machine provides the developer with means to leverage the strengths of the Java ecosystem lacking in the OCaml world. Most notably, this includes access to a great number of libraries, and foundations for shared-memory concu...
متن کاملSundials and Mathematical Surfaces
The ancient art of sundial designing and making has produced an astonishing variety of designs, many of them ingenious and works of art. The history and a fair sample of various designs can be found in [Ro] or [Pe,Sch,SP]. The principles of working are in many cases forgotten and understood only by a very tedious reverse-engineering, often made much more difficult by wellmeant but incompetent r...
متن کاملAn Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs
This paper addresses the problem of proving a given invariance property φ of a loop in a numeric program, by inferring automatically a stronger inductive invariant ψ. The algorithm we present is based on both abstract interpretation and constraint solving. As in abstract interpretation, it computes the effect of a loop using a numeric abstract domain. As in constraint satisfaction, it works fro...
متن کاملOCaml-Java: Typing Java Accesses from OCaml Programs
Functional languages, although they often enable great developer productivity and ease software maintenance, are commonly hampered by smaller communities and fewer industrial-strength players when compared to mainstream languages. To partially overcome these problems, it is usual to resort to a form of interoperability that allows a functional language to take advantage of libraries originally ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2018
ISSN: 2075-2180
DOI: 10.4204/eptcs.285.4